大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs [electronic resource] : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

0
索取号：
作者：Paech、 Barbara.、Martell、 Craig.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Biosurveillance and Biosecurity [electronic resource] : International Workshop, BioSecure 2008, Raleigh, NC, USA, December 2, 2008. Proceedings

0
索取号：
作者：Zeng、 Daniel.、Chen、 Hsinchun.、Rolka、 Henry.、Lober、 Bill.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Languages and Compilers for Parallel Computing [electronic resource] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers

0
索取号：
作者：Amaral、 Jos茅 Nelson.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Recent Advances in Reinforcement Learning [electronic resource] : 8th European Workshop, EWRL 2008, Villeneuve d鈥橝scq, France, June 30-July 3, 2008, Revised and Selected Papers

0
索取号：
作者：Girgin、 Sertan.、Loth、 Manuel.、Munos、 R茅mi.、Preux、 Philippe.、Ryabko、 Daniil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings

0
索取号：
作者：Vitoria Lobo、 Niels.、Kasparis、 Takis.、Roli、 Fabio.、Kwok、 James T.、Georgiopoulos、 Michael.、Anagnostopoulos、 Georgios C.、Loog、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Information and Computer Security [electronic resource] : Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings

0
索取号：
作者：Matsuura、 Kanta.、Fujisaki、 Eiichiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Continuous-time Stochastic Control and Optimization with Financial Applications [electronic resource]

0
索取号：
作者：Pham、 Huy锚n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Theory and Practice of Uncertain Programming [electronic resource]

0
索取号：
作者：Liu、 Baoding.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

0
索取号：
作者：Cervesato、 Iliano.、Veith、 Helmut.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

0
索取号：
作者：Ramalingam、 G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

0
索取号：
作者：Kawano、 Yasuhito.、Mosca、 Michele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Self-Sustaining Systems [electronic resource] : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers

0
索取号：
作者：Hirschfeld、 Robert.、Rose、 Kim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

0
索取号：
作者：Leucker、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Motion in Games [electronic resource] : First International Workshop, MIG 2008, Utrecht, The Netherlands, June 14-17, 2008. Revised Papers

0
索取号：
作者：Egges、 Arjan.、Kamphuis、 Arno.、Overmars、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

The Practice of Enterprise Modeling [electronic resource] : First IFIP WG 8.1 Working Conference, PoEM 2008, Stockholm, Sweden, November 12-13, 2008. Proceedings

0
索取号：
作者：Stirna、 Janis.、Persson、 Anne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Wireless Systems and Mobility in Next Generation Internet [electronic resource] : 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence Barcelona, Spain, January 16-18, 2008 Revised Selected Papers

0
索取号：
作者：Cerd脿-Alabern、 Lloren莽.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.